BUILD = --models=ardupilot_software.aadl,execution-platform.aadl,main.aadl --no-run
TESTS = compile-x86

include $(POK_PATH)/misc/mk/examples.mk
